Debugging of Web Applications with Web-TLR
نویسندگان
چکیده
منابع مشابه
Debugging of Web Applications with Web-TLR
WEB-TLR is a Web verification engine that is based on the well-established Rewriting Logic– Maude/LTLR tandem for Web system specification and model-checking. In WEB-TLR, Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, er...
متن کاملModel-Checking Web Applications with Web-TLR
Web-TLR is a software tool designed for model-checking Web applications which is based on rewriting logic. Web applications are expressed as rewrite theories which can be formally verified by using the Maude built-in LTLR model-checker. Web-TLR is equipped with a userfriendly, graphical Web interface that shields the user from unnecessary information. Whenever a property is refuted, an interact...
متن کاملBLeak: Automatically Debugging Memory Leaks in Web Applications
Despite the presence of garbage collection in managed languages like JavaScript, memory leaks remain a serious problem. In the context of web applications, these leaks are especially pervasive and di cult to debug. Web application memory leaks can take many forms, including failing to dispose of unneeded event listeners, repeatedly injecting iframes and CSS les, and failing to call cleanup rout...
متن کاملRivet: Browser-agnostic Remote Debugging for Web Applications
Rivet is the first fully-featured, browser-agnostic remote debugger for web applications. Using Rivet, developers can inspect and modify the state of live web pages that are running inside unmodified end-user web browsers. This allows developers to explore real application bugs in the context of the actual machines on which those bugs occur. To make an application Rivet-aware, developers simply...
متن کاملDeveloping Web Client Applications with JaCa-Web
We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and programming of mainstream software applications, in particular those that involve the management of asynchronous events and concurrency. In this paper we support this claim in practice by discussing the use of a platform integrating ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.61.5